21. Dag Prawitz on proofs and meaning /
پدیدآورنده : Heinrich Wansing, editor
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic design.,Logic, Symbolic and mathematical.,Logic.,Philosophy.,Logics and Meanings of Programs.,Mathematical Logic and Foundations.,Philosophy.
رده :
BC71
22. Derivation and counterexample;
پدیدآورنده : [by] Karel Lambert [and] Bas C. van Fraassen.,Lambert, Karel,
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه تهران (طهران)
موضوع : Logic.,Philosophy.,Logic, Symbolic and mathematical.
رده :
BC51
.
L35
23. Die Antinomien der Logik;semantische unter suchungen
پدیدآورنده : Kutschera
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه تهران (طهران)
موضوع : Antinomy,Logic, symbolic and mathematical,Semantics (Philosophy)
رده :
BC
135
.
K84
24. E.W. Beth Memorial Colloquium :
پدیدآورنده : edited by Jean-Louis Destouches.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Beth, Evert Willem.,Logic, Symbolic and mathematical.,Science -- Philosophy.
25. Ecrits de logique philosophique
پدیدآورنده : / Bertrand Russell, avant - propos et traduction de l,Anglais par Jean-Michel Roy,Russell
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه تهران (طهران)
موضوع : Logic, Symbolic and mathematical,Mathemalics -- Philosophy,Arabic imprin%
رده :
QA
9
.
R78
26. Essays on Husserl's logic and philosophy of mathematics
پدیدآورنده : Stefania Centrone, editor
کتابخانه: (طهران)
موضوع : Influence ، Husserl, Edmund, 9581-8391,، Logic, Symbolic and mathematical,، Mathematics -- Philosophy
رده :
B
3279
.
H94E8
27. Essays on Wittgenstein's Tractatus
پدیدآورنده : / edited by Irving M. Copi and Robert W. Beard
کتابخانه: المكتبة المركزية ومركز الأرشيف (طهران)
موضوع : Wittgenstein, Ludwig, 1889 - 1951. Tractatus,Logic, symbolic and mathematical,Language - Philosophy
رده :
149
.
94
Co-E
28. Essays on the Foundations of Mathematics
پدیدآورنده : \ Stephen Pollard, editor.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic, symbolic and mathematical,منطق ریاضی,a04,a04,Mathematics-- Philosophy.,ریاضیات -- فلسفه
رده :
QA
8
.
6
.
E8
2010
E-Book
,
29. Essays on the foundations of mathematics
پدیدآورنده : / by Moritz Pasch
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Mathematics, Philosophy,Logic, Symbolic and mathematical
رده :
E-BOOK
30. Essays on wittgnestein's tractatus
پدیدآورنده : / edited by Irving M. Copi, Robert W. Beard
کتابخانه: المكتبة المركزية ومركز الأرشيف (طهران)
موضوع : Wittgenstein, Luding. 1889-1951. Tractatus logico-philosophicus,Logic, Symbolic and mathematical,Language - Philosophy
رده :
160
W831
31. Formal Aspects of Context
پدیدآورنده : edited by Pierre Bonzon, Marcos Cavalcanti, Rolf Nossum.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Logic, Symbolic and mathematical.,Logic.,Philosophy (General).
32. Foundation; essays in philosophy, logic, mathematics, and economics
پدیدآورنده : Ramsey, Frank Plumpton
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Philosophy ، Mathematics,، Logic, Symbolic and mathematical,، Taxation,، Saving and investment
رده :
QA
8
.
4
.
R35
1978
33. Foundations : essays in philosophy, logic, mathematics and economics
پدیدآورنده : Ramsey, Frank Plumpton, 3091-0391
کتابخانه: (طهران)
موضوع : Philosophy ، Mathematics,، Logic, Symbolic and mathematical,، Taxation,، Saving and investment
رده :
QA
8
.
4
.
R25F6
34. Foundations : essays in philosophy, logic, mathematics and economics
پدیدآورنده : Ramsey, Frank Plumpton
کتابخانه: (طهران)
موضوع : ، Mathematics -- Philosophy,، Logic, Symbolic and mathematical,، Taxation,، Saving and investment
رده :
QA
8
.
4
.
R35
1978
35. Foundations : essays in philosophy, logic, mathematics and economics
پدیدآورنده : Ramsey, Frank Plumpton
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Mathematics - Philosophy,، Logic, Symbolic and mathematical,، Taxation,، Saving and investment
رده :
QA
8
.
4
.
R35
1978b
36. Foundations of logic, 1903-05
پدیدآورنده : Russell, Bertrand, 2781-0791
کتابخانه: (طهران)
موضوع : ، Logic, Symbolic and mathematical,، Mathematics -- Philosophy
رده :
B
1649
.
R91
1983
vol
.
4
37. Foundations of logic and linguistics : problems and their solutions
پدیدآورنده : edited by Georg Dorn and P. Weingartner
کتابخانه: (طهران)
موضوع : Congresses ، Logic,Congresses ، Logic, Symbolic and mathematical,Congresses ، Language and logic,Philosophy -- Congresses ، Language and languages
رده :
BC
5
.
I56
1985
38. Foundations of logic and mathematic
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Logic, Symbolic and mathematical. [from old catalog],Mathematics- Philosophy. [from old catalog]
رده :
Q121
.
I5C37
39. Foundations of logic and mathematics
پدیدآورنده : / by Rudolf Carnap
کتابخانه: المكتبة المركزية ومركز الأرشيف (طهران)
موضوع : Logic, symbolic and mathematical,Mathematics - Philosophy
رده :
511
.
3
Ca-F
40. Foundations of logic and mathematics
پدیدآورنده : Carnap, Rudolf, 1981-0791.
کتابخانه: (طهران)
موضوع : ، Logic, Symbolic and mathematical,، Mathematics -- Philosophy
رده :
Q
121
.
I5
Vol
.
1
No
.
3
